Formalizing geographical models using specification and description language, the wildfire example

摘要

In this paper we explore how we can use Specification and Description Language, to represent simulation\udmodels that make an intensive use of geographical information, like environmental simulation models.\udThe purpose is to perform a complete unambiguous, graphical and formal representation of a wildfire\udsimulation model. Specification and Description Language is a modern object oriented language that al-\udlows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven\udsystems, and has been standardized by the International Telecommunications Union (ITU) in the Z.100.\udThanks to the graphical representation of the simulation model, the interaction between the experts that\udusually come from different areas is simplified. Also, due to the unambiguous and modular nature of the\udlanguage, all the details of the model can be validated by personnel that do not necessarily are used with\udprogramming languages or simulation infrastructures.